Merge pull request #1368 from EvanLloyd/editorconfig
authordanh-arm <[email protected]>
Tue, 8 May 2018 10:22:27 +0000 (11:22 +0100)
committerGitHub <[email protected]>
Tue, 8 May 2018 10:22:27 +0000 (11:22 +0100)
Add .editorconfig file


Trivial merge